Language-based information-flow security
نویسندگان
چکیده
منابع مشابه
Language-based information-flow security
Current standard security practices do not provide substantial assurance that the end-to-end behavior of a computing system satisfies important security policies such as confidentiality. An end-to-end confidentiality policy might assert that secret input data cannot be inferred by an attacker through the attacker’s observations of system output; this policy regulates information flow. Conventio...
متن کاملLanguage - Based Information - Flow Security Andrei
Current standard security practices do not provide substantial assurance that the end-to-end behavior of a computing system satisfies important security policies such as confidentiality. An end-to-end confidentiality policy might assert that secret input data cannot be inferred by an attacker through the attacker’s observations of system output; this policy regulates information flow. Conventio...
متن کاملOpportunities for Language Based Information Flow Security in Sensor Networks
This paper examines the opportunities for applying language based security techniques, in particular information flow tracking, to the sensor network domain. The main conclusion is that existing language based information flow mechanisms are inadequate, but that the general approach is quite promising and merits further research.
متن کاملJif: Language-based Information-flow Security in Java
In this report, we examine Jif, a Java extension which augments the language with features related to security. Jif adds support for security labels to Java’s type system such that the developer can specify confidentiality and integrity policies to the various variables used in their program. We list the main features of Jif and discuss the information flow problem that Jif helps to solve. We s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Journal on Selected Areas in Communications
سال: 2003
ISSN: 0733-8716
DOI: 10.1109/jsac.2002.806121